Deriving distributed algorithms from a general predicate detector
نویسندگان
چکیده
Designing and debugging distributed systems requires the detection of conditions across the entire system. As an illustration, monitoring the status of an application requires detection of termination, and using virtual time requires the periodic calculation of the global virtual time. The Generalized Conjunctive Predicate (GCP) detector ooers a method to derive detection algorithms for these and other problems based on optimizing the base algorithm.
منابع مشابه
Debugging in a Distributed World: Observation and Control
Debugging distributed programs is considerably more difficult than debugging sequential programs. We address issues in debugging distributed programs and provide a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Observing distributed computations involves solving the predicate detection problem. We present the main ideas i...
متن کاملIntractability results in predicate detection
It has been shown that global predicate detection in a distributed computation is an NP-complete problem in general. However, polynomial-time predicate detection algorithms exist for some classes of predicates, such as stable predicates, observer-independent predicates, conjunctions of local predicates etc. We show here that, given a class of predicates for which polynomial-time detection algor...
متن کاملGlobal Predicate Detection in Distributed Systems with Small Faults
We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is impossible to detect predicates in an asynchronous distributed system prone to small faults even if nodes are equipped with a powerful device known as failure detector sequencer (denoted by Σ). To redress this impossibility, we in...
متن کامل(Im)Possibilities of Predicate Detection in Crash-Affected Systems
In an asynchronous system, where processes can crash, perfect predicate detection for general predicates is difficult to achieve. A general predicate thereby is of the form , where and refer to a normal process variable and to the operational state of that process, respectively. Indeed, the accuracy of predicate detection largely depends on the quality of failure detection. In this paper, we in...
متن کاملEfficient Distributed Detection of Conjunctions of Local Predicates
Global predicate detection is a fundamental problem in distributed systems and nds applications in many domains such as testing and debugging distributed programs. This paper presents two eecient distributed algorithms to detect conjunctive form global predicates in distributed systems. The algorithms detect the rst consistent global state that satisses the predicate even if the predicate is un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995